Formal aspects in security and trust - IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France
- Författare
- France) IFIP World Computer Congress 2004 : Toulouse Fabio Martinelli Theo Dimitrakos France) Workshop on Formal Aspects in Security and Trust 2004 : Toulouse
- (Edited by Theo Dimitrakos, Fabio Martinelli., Includes bibliographical references)
- Genre
- Ej skönlitteratur, Konferenser, Konferenspublikation, Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Science | cop. 2005 | USA, New York | x, 246 sidor. ill. 25 cm | 978-0-387-24050-3 |